Peter Schroeder-Heister (eds.): search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (7)
Most Popular
List
- List
- Table

1

Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.)

Year:

1991

Language:

english

File:

DJVU, 3.64 MB

0 / 0

english, 1991

2

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Martin Argenius, Andrei Voronkov (auth.), Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.)

Year:

1996

Language:

english

File:

DJVU, 2.75 MB

0 / 0

english, 1996

3

Enzyklopädie Philosophie und Wissenschaftstheorie: Band 1: A–B

Enzyklopädie Philosophie und Wissenschaftstheorie: Band 1: A–B

Gottfried Gabriel, Matthias Gatzemeier, Carl F. Gethmann, Peter Janich, Friedrich Kambartel, Kuno Lorenz, Klaus Mainzer, Peter Schroeder-Heister, Christian Thiel, Reiner Wimmer, Martin Carrier (auth.), Jürgen Mittelstraß (eds.)

Year:

2005

Language:

german

File:

PDF, 60.84 MB

0 / 0

german, 2005

4

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

Year:

2001

Language:

english

File:

PDF, 2.52 MB

0 / 0

english, 2001

5

Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics

Springer International Publishing

Thomas Piecha, Peter Schroeder-Heister (eds.)

Year:

2016

Language:

english

File:

PDF, 2.69 MB

0 / 0

english, 2016

6

Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics

Thomas Piecha, Peter Schroeder-Heister (eds.)

Year:

2016

Language:

english

File:

PDF, 1.69 MB

0 / 0

english, 2016

7

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

Year:

2001

Language:

english

File:

PDF, 1.73 MB

0 / 0

english, 2001